Model theory - PDFSEARCH.IO - Document Search Engine

Model theory
Results: 13417

#	Item
431	PATRES Pattern Resilience PATRES workshop (ECCS), University of Warwick SeptemberViability and resilience in the dynamics of Add to Reading List Source URL: www.patres-project.eu Language: English - Date: 2009-11-05 13:33:21 Logic Language acquisition Mathematics Structure Metalogic Model theory Psychological resilience Resilience Ecological resilience Multilingualism Monolingualism
432	PROGRAM Tuesday: 17th March: Opening ceremony 11.20: My Way: a success story with Erasmus Add to Reading List Source URL: erasmus.pwsz.glogow.pl Language: English - Date: 2015-03-16 03:01:42 Control theory Systems theory Systems science Systems engineering Cybernetics Control engineering Fault detection and isolation Fault tolerance Model predictive control Robustness Robust control Unmanned aerial vehicle
433	Gauge Mediaon in NMSSM: Light Sparcles from a Light Singlet Marcin Badziak Instute of Theorecal Physics University of Warsaw Add to Reading List Source URL: theory.fnal.gov Language: English - Date: 2015-12-14 13:10:01 Physics Particle physics Physics beyond the Standard Model Supersymmetry Next-to-Minimal Supersymmetric Standard Model Theoretical physics Large ElectronPositron Collider Large Hadron Collider Minimal Supersymmetric Standard Model
434	Prof. Stefan Schwede WSGraduate Seminar Topology (S4D2) ‘Enhancements of triangulated categories’ Add to Reading List Source URL: www.math.uni-bonn.de Language: English - Date: 2016-07-19 15:57:33 Algebra Abstract algebra Mathematics Homotopy theory Category theory Algebraic topology Homological algebra Triangulated category Model category Spectrum Stable -category Derived category
435	287 ISSNon-lineprinted) Algebraic & Geometric Topology Volume–334 Add to Reading List Source URL: www.math.uni-bonn.de Language: English - Date: 2003-11-07 09:15:51 Algebra Abstract algebra Mathematics Ring theory Homotopy theory Algebraic topology Category theory Monoidal categories Simplicial set Model category Simplicial commutative ring Chain complex
436	Are we there yet? What needs to be done to involve agent-based simulation in practical decision making Nigel Gilbert Centre for Research in Social Simulation University of Surrey Add to Reading List Source URL: www.simian.ac.uk Language: English - Date: 2011-05-04 09:35:18 Simulation Multi-agent systems Complex systems theory Systems science Operations research Economy Agent-based model Scientific modeling Social simulation Agent Nigel Gilbert Intelligent agent
437	Modelling Gaussian Fields and Geostatistical Data Using Gaussian Markov Random Fields Outline 1. Introduction 2. Geostatistical Models and Gaussian Markov Random Fields Add to Reading List Source URL: evavivalt.com Language: English - Date: 2014-11-11 20:22:18 Geostatistics Statistics Data Probability theory Variogram Covariance function Stationary process Random field Time series Markov random field Ising model Covariance
438	PDF Document Add to Reading List Source URL: palaeos.com Language: English - Date: 2013-05-22 17:54:04 Physical cosmology Physics Astronomy Philosophy of physics Chronology of the universe Big Bang Lambda-CDM model Cosmic microwave background Cosmology Inflation Steady State theory Universe
439	On the rules of intermediate logics Rosalie Iemhoff ∗ Institute for Discrete Mathematics and Geometry E104, Vienna University of Technology Add to Reading List Source URL: www.phil.uu.nl Language: English - Date: 2008-12-12 07:19:27 Logic Mathematical logic Non-classical logic Modal logic Model theory Philosophical logic Admissible rule Intermediate logic Kripke semantics Propositional calculus Completeness Modal companion
440	Checking Inevitability and Invariance Using Description Logic Technology Shoham Ben-David1 , Richard Trefler1 , Dmitry Tsarkov2 and Grant Weddell1 Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2015-02-05 09:51:05 Logic Mathematical logic Model theory Ontology Philosophy Temporal logic Non-classical logic Philosophical logic Tbox Abox Modal logic Kripke structure

UPDATE